Feeds to Scour
SubscribedAll
Scoured 77719 posts in 380.5 ms
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
arxiv.org·1d
🧩Prolog
Preview
Report Post
Solved yet stuck
kevinsdias.com·7h
🧩Prolog
Preview
Report Post
From logical reasoning to code in C and PHP
dev.to·18h·
Discuss: DEV
📋Datalog
Preview
Report Post
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
arxiv.org·1d
🎨Graph Coloring
Preview
Report Post
Rainbow Query Language
rbql.org·1d
📊Query Optimizers
Preview
Report Post
🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...
freederia.com·1d
🎨Domain-Specific Languages
Preview
Report Post
Constraints Not Loops: Building Features in Reverse
coey.dev·1d
🔗Parser Combinators
Preview
Report Post
Accessibility Input Protocol (`a11y_input_v1`) (#149) · Issues · wayland / wayland-protocols
gitlab.freedesktop.org·18h·
Discuss: Hacker News
🌉Language Bindings
Preview
Report Post
On Learning Elixir
denvaar.dev·1d
🚂Error Propagation
Preview
Report Post
Show HN: Pikchr.pl – Make Pikchr diagrams using Prolog
github.com·1d·
Discuss: Hacker News
🧩Prolog
Preview
Report Post
Binary Algorithms
exystence.net·1d
📡Binary Protocols
Preview
Report Post
Self-hosted AI data workflow: DB and Ollama and SQL
exasol.github.io·12h·
Discuss: Hacker News
🔄Incremental Lexing
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·14h·
Discuss: Hacker News
🏰Capability Machines
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🧩SAT Solvers
Preview
Report Post
Making a Language
thunderseethe.dev·6h
🔬programming language theory
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·23h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Software as clay on the wheel
dri.es·1d
💬Interactive REPLs
Preview
Report Post
Postmortem on TreeTracker Join: Simple, Optimal, Fast
zhu45.org·1d·
Discuss: Hacker News
🌳Tree Algorithms
Preview
Report Post
Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees
dev.to·7h·
Discuss: DEV
🚂Error Propagation
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help